COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input let.tex   
C00004 ENDMK
C⊗;
\input let.tex   
\setmargin{1.5}
\jmcletterhead
\vskip 20pt
\rm

\adx 4in: April 1, 1981\cr

\vskip 65pt

\adx 0pt: Prof. Luis Moniz Pereira\cr
Dept. de Informatica\cr
Universidade Nova de Lisboa\cr
1899 Lisboa Codex, PORTUGAL\cr

\parskip 11pt minus 6pt

Dear Professor Pereira:

	Many thanks for the papers you have sent me and for the invitation
to visit your laboratory in Lisbon.  As you know I shall be visiting
Professor Colmerauer's group in Marseille, and I hope to visit you
as part of that trip.  I expect to finish my lectures in the middle
of June, but there might be some reason to visit you before then if
the schedule permits.  We can correspond or talk on the telephone
after I arrive in Marseille May 1.

	I have read Kowalski's book, but I don't have much more idea
of logic programming than it contains.  I expect to know more even before
I arrive in Marseille.  My opinion (or perhaps merely my prejudice) agrees
that the control should be expressed by metalanguage statements, so I
look forward to learning about your results in this direction.

\vskip 11pt

\adx 3in: Sincerely,\cr

\vskip 37pt
\parskip 0pt

\adx 3in: John McCarthy\cr

\vskip 15pt

\vfill\eject\end